Discovering Concrete Attacks on Website Authorization by Formal Analysis

Source URL: www.doc.ic.ac.uk

• Computing
• Computer access control
• Computer security
• Cloud standards
• Federated identity
• Security
• OAuth
• Cross-site request forgery
• OpenID
• Cross-site scripting
• Social login
• HTTP cookie

An Empirical Analysis of Anonymity in Zcash George Kappos, Haaroon Yousaf, Mary Maller, and Sarah Meiklejohn University College London {georgios.kappos.16,h.yousaf,mary.maller.15,s.meiklejohn}@ucl.ac.uk Abstract

Source URL: smeiklej.com

• Cryptocurrencies
• Exonumia
• Numismatics
• Money
• Zcash
• Bitcoin
• Kraken
• Monero
• Bitcoin Private

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Markov models
• Formal methods
• Graph theory
• Markov chain
• Process calculus
• Semantics
• Stochastic process
• Mathematics

Egalitarian Society or Benevolent Dictatorship: The State of Cryptocurrency Governance Sarah Azouvi, Mary Maller, and Sarah Meiklejohn University College London {sarah.azouvi.13,mary.maller.15,s.meiklejohn}@ucl.ac.uk

Source URL: smeiklej.com

• Cryptocurrencies
• Blockchains
• Ethereum
• Cross-platform software
• Concurrent computing
• Distributed computing
• Computing
• Alternative currencies
• Bitcoin
• Satoshi Nakamoto
• The DAO
• Smart contract

Critical Thinking in Context: Practice at an American Liberal Arts University in Egypt Author: Maha Ayham Bali Mohamed Bali For the degree of: PhD Department: School of Education

Source URL: etheses.whiterose.ac.uk

• Education
• Learning
• Cognition
• English as a global language
• The American University in Cairo
• Critical thinking
• Curriculum
• Rhetoric

Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK ISoLa 2016 – Corfu, October 13, 2016

Source URL: www.cs.man.ac.uk

• Program analysis
• Typestate analysis

Automated Reasoning for Explainable Artificial Intelligence∗ Maria Paola Bonacina1 Dipartimento di Informatica Universit` a degli Studi di Verona Strada Le Grazie 15

Source URL: www.cs.man.ac.uk

• Artificial intelligence
• Cognitive science
• Logic
• Cognition
• Cybernetics
• Automated reasoning
• Automated theorem proving
• Computational neuroscience
• Explainable Artificial Intelligence
• Mark E. Stickel
• Reason
• Inference

Introduction to the IEEEStandard for Interval Arithmetic

Source URL: www.cs.ox.ac.uk

• Computer arithmetic
• Mathematics
• Numerical analysis
• Arithmetic
• Interval arithmetic
• Interval

A Trusted Mechanised JavaScript Specification Martin Bodin Arthur Charguéraud Daniele Filaretti

Source URL: www.doc.ic.ac.uk

TRIANGLE NETWORKS LTD Code of Practice on Complaint Handling and Dispute Resolution TRIANGLE NETWORKS LTD is an independent company that delivers communications services to business customers. While we may not provide al

Source URL: trianglenetworks.co.uk

• Government
• Postal system of the United Kingdom
• Ombudsman
• Communication
• Ofcom
• Economy of the United Kingdom